The Bots Will Work Together
bloomberg.com·16h·
Discuss: Hacker News
🧮Theorem Proving
A mathematician’s coming-of-age story.
mathwithbaddrawings.com·2d
🧮Theorem Proving
The Future of US Monetary Policy + The Live Q&A Starts Soon!
zeihan.com·18h
💻programming languages
ETI in our Datasets?
centauri-dreams.org·4d
📐Type Theory
AI Copyright Cases Will Shape the Future
maximum-progress.com·6d
🧮Theorem Proving
How attention markets work
defenderofthebasic.substack.com·2d·
Discuss: Substack
🔺Category Theory
Cold water on Coldwater Creek
jackdevanney.substack.com·4d·
Discuss: Substack
🔧Functional Programming
Can we make mosquitoes resist malaria?
denovo.substack.com·3d·
Discuss: Substack
🔧Functional Programming
The curvature of space
infinitelymore.xyz·3d
📐Type Theory
Overpriced Friends
fakenous.substack.com·4d·
Discuss: Substack
📐Type Theory
Main / Allied Military Aircraft Part 1
navalgazing.net·3d
🔧Functional Programming
UBS FX Trades Were Too Good
bloomberg.com·1d·
Discuss: Hacker News
🔍Static Analysis
Q&A: Chinese Small Arms w/ Jason Clower from Type 56: The Story of China’s Army
forgottenweapons.com·4d
🔨Build Systems
Bet on or Against the Unicorns
bloomberg.com·2d·
Discuss: Hacker News
🧮Theorem Proving
Key Economic Indicators to Watch: Retail Sales
zeihan.com·2d
🧠Memory Models
ETI in our Datasets?
api.follow.it·4d
📐Type Theory
The Live Q&A Is Tomorrow + China’s Stance on Iran
zeihan.com·1d
🕸️WebAssembly
The Revolution in Military Affairs: Wars Without People
zeihan.com·5d
🔄Language Evolution
ZK 381: Czech Pre-War Prototype Battle Rifle
forgottenweapons.com·2d
🔨Build Systems
A Ukraine-US Deal?
zeihan.com·6d
🧮Theorem Proving